Optimal. Leaf size=48 \[ \frac {(a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}{4 (b d-a e) (d+e x)^4} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.01, antiderivative size = 48, normalized size of antiderivative = 1.00, number of steps
used = 2, number of rules used = 2, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.071, Rules used = {660, 37}
\begin {gather*} \frac {(a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}{4 (d+e x)^4 (b d-a e)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 660
Rubi steps
\begin {align*} \int \frac {\left (a^2+2 a b x+b^2 x^2\right )^{3/2}}{(d+e x)^5} \, dx &=\frac {\sqrt {a^2+2 a b x+b^2 x^2} \int \frac {\left (a b+b^2 x\right )^3}{(d+e x)^5} \, dx}{b^2 \left (a b+b^2 x\right )}\\ &=\frac {(a+b x)^3 \sqrt {a^2+2 a b x+b^2 x^2}}{4 (b d-a e) (d+e x)^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(109\) vs. \(2(48)=96\).
time = 0.03, size = 109, normalized size = 2.27 \begin {gather*} -\frac {\sqrt {(a+b x)^2} \left (a^3 e^3+a^2 b e^2 (d+4 e x)+a b^2 e \left (d^2+4 d e x+6 e^2 x^2\right )+b^3 \left (d^3+4 d^2 e x+6 d e^2 x^2+4 e^3 x^3\right )\right )}{4 e^4 (a+b x) (d+e x)^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(127\) vs.
\(2(35)=70\).
time = 0.64, size = 128, normalized size = 2.67
method | result | size |
risch | \(\frac {\sqrt {\left (b x +a \right )^{2}}\, \left (-\frac {b^{3} x^{3}}{e}-\frac {3 b^{2} \left (a e +b d \right ) x^{2}}{2 e^{2}}-\frac {b \left (a^{2} e^{2}+a b d e +b^{2} d^{2}\right ) x}{e^{3}}-\frac {e^{3} a^{3}+a^{2} b d \,e^{2}+a \,b^{2} d^{2} e +b^{3} d^{3}}{4 e^{4}}\right )}{\left (b x +a \right ) \left (e x +d \right )^{4}}\) | \(120\) |
gosper | \(-\frac {\left (4 b^{3} e^{3} x^{3}+6 a \,b^{2} e^{3} x^{2}+6 b^{3} d \,e^{2} x^{2}+4 a^{2} b \,e^{3} x +4 a \,b^{2} d \,e^{2} x +4 b^{3} d^{2} e x +e^{3} a^{3}+a^{2} b d \,e^{2}+a \,b^{2} d^{2} e +b^{3} d^{3}\right ) \left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}}}{4 \left (e x +d \right )^{4} e^{4} \left (b x +a \right )^{3}}\) | \(128\) |
default | \(-\frac {\left (4 b^{3} e^{3} x^{3}+6 a \,b^{2} e^{3} x^{2}+6 b^{3} d \,e^{2} x^{2}+4 a^{2} b \,e^{3} x +4 a \,b^{2} d \,e^{2} x +4 b^{3} d^{2} e x +e^{3} a^{3}+a^{2} b d \,e^{2}+a \,b^{2} d^{2} e +b^{3} d^{3}\right ) \left (\left (b x +a \right )^{2}\right )^{\frac {3}{2}}}{4 \left (e x +d \right )^{4} e^{4} \left (b x +a \right )^{3}}\) | \(128\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 130 vs.
\(2 (37) = 74\).
time = 2.77, size = 130, normalized size = 2.71 \begin {gather*} -\frac {b^{3} d^{3} + {\left (4 \, b^{3} x^{3} + 6 \, a b^{2} x^{2} + 4 \, a^{2} b x + a^{3}\right )} e^{3} + {\left (6 \, b^{3} d x^{2} + 4 \, a b^{2} d x + a^{2} b d\right )} e^{2} + {\left (4 \, b^{3} d^{2} x + a b^{2} d^{2}\right )} e}{4 \, {\left (x^{4} e^{8} + 4 \, d x^{3} e^{7} + 6 \, d^{2} x^{2} e^{6} + 4 \, d^{3} x e^{5} + d^{4} e^{4}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (\left (a + b x\right )^{2}\right )^{\frac {3}{2}}}{\left (d + e x\right )^{5}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 166 vs.
\(2 (37) = 74\).
time = 1.69, size = 166, normalized size = 3.46 \begin {gather*} -\frac {{\left (4 \, b^{3} x^{3} e^{3} \mathrm {sgn}\left (b x + a\right ) + 6 \, b^{3} d x^{2} e^{2} \mathrm {sgn}\left (b x + a\right ) + 4 \, b^{3} d^{2} x e \mathrm {sgn}\left (b x + a\right ) + b^{3} d^{3} \mathrm {sgn}\left (b x + a\right ) + 6 \, a b^{2} x^{2} e^{3} \mathrm {sgn}\left (b x + a\right ) + 4 \, a b^{2} d x e^{2} \mathrm {sgn}\left (b x + a\right ) + a b^{2} d^{2} e \mathrm {sgn}\left (b x + a\right ) + 4 \, a^{2} b x e^{3} \mathrm {sgn}\left (b x + a\right ) + a^{2} b d e^{2} \mathrm {sgn}\left (b x + a\right ) + a^{3} e^{3} \mathrm {sgn}\left (b x + a\right )\right )} e^{\left (-4\right )}}{4 \, {\left (x e + d\right )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.63, size = 284, normalized size = 5.92 \begin {gather*} \frac {\left (\frac {2\,b^3\,d-3\,a\,b^2\,e}{2\,e^4}+\frac {b^3\,d}{2\,e^4}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^2}-\frac {\left (\frac {3\,a^2\,b\,e^2-3\,a\,b^2\,d\,e+b^3\,d^2}{3\,e^4}+\frac {d\,\left (\frac {b^3\,d}{3\,e^3}-\frac {b^2\,\left (3\,a\,e-b\,d\right )}{3\,e^3}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^3}-\frac {\left (\frac {a^3}{4\,e}-\frac {d\,\left (\frac {3\,a^2\,b}{4\,e}-\frac {d\,\left (\frac {3\,a\,b^2}{4\,e}-\frac {b^3\,d}{4\,e^2}\right )}{e}\right )}{e}\right )\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{\left (a+b\,x\right )\,{\left (d+e\,x\right )}^4}-\frac {b^3\,\sqrt {a^2+2\,a\,b\,x+b^2\,x^2}}{e^4\,\left (a+b\,x\right )\,\left (d+e\,x\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________